“구현 검증”으로 총 1건 검색

• 구현 검증, 具現檢證, implementation verification

  ①시스템의 설계 규격과 그 시스템의 구현이 일치하는지를 형식적으로 증명하는 것. ②컴퓨터 시스템 보안에서, 컴퓨터에 의한 검증 기술을 사용해서 시스템의 보안 설계 규격과 그 구현 간에 수학적 연관성이 있는지를 실증해 보이는 것.